Contact stress analysis of spiral bevel gears using nonlinear finite element static analysis

A procedure is presented for performing three-dimensional stress analysis of spiral bevel gears in mesh using the finite element method. The procedure involves generating a finite element model by solving equations that identify tooth surface coordinates. Coordinate transformations are used to orientate the gear and pinion for gear meshing. Contact boundary conditions are simulated with gap elements. A solution technique for correct orientation of the gap elements is given. Example models and results are presented

Manual for automatic generation of finite element models of spiral bevel gears in mesh

The goal of this research is to develop computer programs that generate finite element models suitable for doing 3D contact analysis of faced milled spiral bevel gears in mesh. A pinion tooth and a gear tooth are created and put in mesh. There are two programs: Points.f and Pat.f to perform the analysis. Points.f is based on the equation of meshing for spiral bevel gears. It uses machine tool settings to solve for an N x M mesh of points on the four surfaces, pinion concave and convex, and gear concave and convex. Points.f creates the file POINTS.OUT, an ASCI file containing N x M points for each surface. (N is the number of node points along the length of the tooth, and M is nodes along the height.) Pat.f reads POINTS.OUT and creates the file tl.out. Tl.out is a series of PATRAN input commands. In addition to the mesh density on the tooth face, additional user specified variables are the number of finite elements through the thickness, and the number of finite elements along the tooth full fillet. A full fillet is assumed to exist for both the pinion and gear

Contact Stress Analysis of Spiral Bevel Gears Using Finite Element Analysis

A procedure is presented for performing three-dimensional stress analysis of spiral bevel gears in mesh using the finite element method. The procedure involves generating a finite element model by solving equations that identify tooth surface coordinates. Coordinate transformations are used to orientate the gear and pinion for gear meshing. Contact boundary conditions are simulated with gap elements. A solution technique for correct orientation of the gap elements is given. Example models and results are presented

Deductive synthesis of recursive plans in linear logic

Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction. We introduce a recursively defined datatype and a corresponding induction rule, thereby allowing recursive plans to be synthesised. In order to make explicit the relationship between proofs and plans, we enhance the linear logic deduction rules to handle plans as a form of proof term

Novel lines of Pax6-/- embryonic stem cells exhibit reduced neurogenic capacity without loss of viability

<p>Abstract</p> <p>Background</p> <p>Embryonic stem (ES) cells can differentiate into all cell types and have been used extensively to study factors affecting neuronal differentiation. ES cells containing mutations in known genes have the potential to provide useful in vitro models for the study of gene function during neuronal differentiation. Recently, mouse ES cell lines lacking the neurogenic transcription factor Pax6 were reported; neurons derived from these <it>Pax6</it>^-/-ES cells died rapidly after neuronal differentiation in vitro.</p> <p>Results</p> <p>Here we report the derivation of new lines of <it>Pax6</it>^-/-ES cells and the assessment of their ability to survive and differentiate both in vitro and in vivo. Neurons derived from our new <it>Pax6</it>^-/-lines were viable and continued to elaborate processes in culture under conditions that resulted in the death of neurons derived from previously reported <it>Pax6</it>^-/-ES cell lines. The new lines of <it>Pax6</it>^-/-ES cells showed reduced neurogenic potential, mimicking the effects of loss of Pax6 in vivo. We used our new lines to generate <it>Pax6</it>^-/-↔ <it>Pax6</it>^+/+chimeras in which the mutant cells survived and displayed the same phenotypes as <it>Pax6</it>^-/-cells in <it>Pax6</it>^-/-↔ <it>Pax6</it>^+/+chimeras made by embryo aggregation.</p> <p>Conclusions</p> <p>We suggest that loss of Pax6 from ES cells reduces their neurogenic capacity but does not necessarily result in the death of derived neurons. We offer these new lines as additional tools for those interested in the generation of chimeras and the analysis of in vitro ES cell models of Pax6 function during neuronal differentiation, embryonic and postnatal development.</p

Regulation of Pax6 by CTCF during Induction of Mouse ES Cell Differentiation

Pax6 plays an important role in embryonic cell (ES) differentiation during embryonic development. Expression of Pax6 undergoes from a low level to high levels following ES cell differentiation to neural stem cells, and then fades away in most of the differentiated cell types. There is a limited knowledge concerning how Pax6 is regulated in ES cell differentiation. We report that Pax6 expression in mouse ES cells was controlled by CCCTC binding factor (CTCF) through a promoter repression mechanism. Pax6 expression was significantly enhanced while CTCF activity was kept in the constant during ES cell differentiation to radial glial cells. Instead, the interaction of CTCF with Pax6 gene was regulated by decreased CTCF occupancy in its binding motifs upstream from Pax6 P0 promoter following the course of ES cell differentiation. Reduced occupancy of CTCF in the binding motif region upstream from the P0 promoter was due to increased DNA methylations in the CpG sites identified in the region. Furthermore, changes in DNA methylation levels in vitro and in vivo effectively altered methylation status of these identified CpG sites, which affected ability of CTCF to interact with the P0 promoter, resulting in increases in Pax6 expression. We conclude that there is an epigenetic mechanism involving regulations of Pax6 gene during ES cell differentiation to neural stem cells, which is through increases or decreases in methylation levels of Pax6 gene to effectively alter the ability of CTCF in control of Pax6 expression, respectively

Leucine-Rich Repeat Kinase 2 Modulates Retinoic Acid-Induced Neuronal Differentiation of Murine Embryonic Stem Cells

Background: Dominant mutations in the leucine-rich repeat kinase 2 (LRRK2) gene are the most prevalent cause of Parkinson’s disease, however, little is known about the biological function of LRRK2 protein. LRRK2 is expressed in neural precursor cells suggesting a role in neurodevelopment. Methodology/Principal Findings: In the present study, differential gene expression profiling revealed a faster silencing of pluripotency-associated genes, like Nanog, Oct4, and Lin28, during retinoic acid-induced neuronal differentiation of LRRK2deficient mouse embryonic stem cells compared to wildtype cultures. By contrast, expression of neurotransmitter receptors and neurotransmitter release was increased in LRRK2+/2 cultures indicating that LRRK2 promotes neuronal differentiation. Consistently, the number of neural progenitor cells was higher in the hippocampal dentate gyrus of adult LRRK2-deficient mice. Alterations in phosphorylation of the putative LRRK2 substrates, translation initiation factor 4E binding protein 1 and moesin, do not appear to be involved in altered differentiation, rather there is indirect evidence that a regulatory signaling network comprising retinoic acid receptors, let-7 miRNA and downstream target genes/mRNAs may be affected in LRRK2deficient stem cells in culture. Conclusion/Significance: Parkinson’s disease-linked LRRK2 mutations that associated with enhanced kinase activity may affect retinoic acid receptor signaling during neurodevelopment and/or neuronal maintenance as has been shown in othe

Prolog Technology Reinforcement Learning Prover: (System Description)

We present a reinforcement learning toolkit for experiments with guiding automated theorem proving in the connection calculus. The core of the toolkit is a compact and easy to extend Prolog-based automated theorem prover called plCoP. plCoP builds on the leanCoP Prolog implementation and adds learning-guided Monte-Carlo Tree Search as done in the rlCoP system. Other components include a Python interface to plCoP and machine learners, and an external proof checker that verifies the validity of plCoP proofs. The toolkit is evaluated on two benchmarks and we demonstrate its extendability by two additions: (1) guidance is extended to reduction steps and (2) the standard leanCoP calculus is extended with rewrite steps and their learned guidance. We argue that the Prolog setting is suitable for combining statistical and symbolic learning methods. The complete toolkit is publicly released. © 2020, Springer Nature Switzerland AG

Genomic Prevalence of Heterochromatic H3K9me2 and Transcription Do Not Discriminate Pluripotent from Terminally Differentiated Cells

Cellular differentiation entails reprogramming of the transcriptome from a pluripotent to a unipotent fate. This process was suggested to coincide with a global increase of repressive heterochromatin, which results in a reduction of transcriptional plasticity and potential. Here we report the dynamics of the transcriptome and an abundant heterochromatic histone modification, dimethylation of histone H3 at lysine 9 (H3K9me2), during neuronal differentiation of embryonic stem cells. In contrast to the prevailing model, we find H3K9me2 to occupy over 50% of chromosomal regions already in stem cells. Marked are most genomic regions that are devoid of transcription and a subgroup of histone modifications. Importantly, no global increase occurs during differentiation, but discrete local changes of H3K9me2 particularly at genic regions can be detected. Mirroring the cell fate change, many genes show altered expression upon differentiation. Quantitative sequencing of transcripts demonstrates however that the total number of active genes is equal between stem cells and several tested differentiated cell types. Together, these findings reveal high prevalence of a heterochromatic mark in stem cells and challenge the model of low abundance of epigenetic repression and resulting global basal level transcription in stem cells. This suggests that cellular differentiation entails local rather than global changes in epigenetic repression and transcriptional activity